5 results
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 06 May 2021, pp. 39-66
- Print publication:
- March 2021
-
- Article
- Export citation
PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 17 August 2016, pp. 641-663
- Print publication:
- December 2016
-
- Article
- Export citation
10 - Temporal Logics for Reasoning about Quantum Systems
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 389-413
-
- Chapter
- Export citation
Modulated fibring and the collapsing problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1541-1569
- Print publication:
- December 2002
-
- Article
- Export citation
Fibring: completeness preservation
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-439
- Print publication:
- March 2001
-
- Article
- Export citation